Mit 6.S191 : Neurosymbolic Ai